First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
801	The Milawa Rewriter and an ACL2 Proof of its Soundness Jared Davis∗ The University of Texas at Austin Department of Computer Sciences 1 University Station C0500 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2013-10-11 19:58:43 Lisp programming language Logic in computer science ACL2 Rewriting First-order logic Lisp FO Theoretical computer science Programming language theory Mathematical logic
802	An Axiomatic Semantics for RDF, RDF-S, and DAML+OIL Richard Fikes Deborah L McGuinness Knowledge Systems Laboratory Computer Science Department Stanford University Add to Reading List Source URL: www.ksl.stanford.edu Language: English - Date: 2003-02-26 18:55:11 Semantic Web Model theory Z notation First-order logic Predicate logic Resource Description Framework S Axiom Type theory Mathematical logic Logic Mathematics
803	Package ‘formula.tools’ July 2, 2014 Type Package Title Utilities for working with formulas, expressions, calls and other R objects Version[removed]Date[removed] Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-02 11:53:08 Metalogic Function Well-formed formula Term Expression M-expression C++11 First-order logic Mathematics Logic Mathematical logic
804	D3 S: Debugging Deployed Distributed Systems Xuezheng Liu† Zhenyu Guo† Xi Wang‡ Feibo Chen¶ Xiaochen Lian§ Jian Tang† Ming Wu† M. Frans Kaashoek∗ Zheng Zhang† Microsoft Research Asia ‡ Tsinghua Universi Add to Reading List Source URL: static.usenix.org Language: English - Date: 2008-04-04 18:08:12 Logic Predicate logic First-order logic Model theory Replication Revision control Predicate D3 Consensus Computing Fault-tolerant computer systems Computer programming
805	Journal of Artificial Intelligence Research[removed]Submitted 10/05; published[removed]Learning Symbolic Models of Stochastic Domains Hanna M. Pasula Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2007-03-08 12:08:27 Model theory Functions and mappings Predicate logic Formal languages First-order logic Function Interpretation FO Causality Mathematical logic Logic Mathematics
806	Learning Planning Rules in Noisy Stochastic Worlds Luke S. Zettlemoyer Hanna M. Pasula Leslie Pack Kaelbling Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2005-11-02 21:41:23 Function First-order logic Formal methods Mathematical logic Mathematics Logic
807	TUGboat, Volume[removed]), No[removed]ProofCheck: Writing and checking complete proofs in LATEX Add to Reading List Source URL: www.tug.org Language: English - Date: 2009-09-26 12:32:25 Logical syntax Automated theorem proving Proof theory Model theory Theorem Mathematical proof TeX First-order logic Unification Logic Mathematics Mathematical logic
808	Symbolic Software Model Validation Cynthia Sturton,1 Rohit Sinha,2 Thurston H.Y. Dang,2 Sakshi Jain,2 Michael McCoyd,2 Wei Yang Tan,2 Petros Maniatis,3 Sanjit A. Seshia,2 and David Wagner 2 1 University of North Carolin Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-10-18 17:59:35 Theoretical computer science Logic in computer science Model checking Formal verification Symbolic execution First-order logic Validation Static single assignment form Model theory Logic Formal methods Mathematical logic
809	TUGboat, Volume[removed]), No[removed]Inference Rules Add to Reading List Source URL: www.tug.org Language: English - Date: 2012-08-21 13:33:21 Logical syntax Propositional calculus Formal languages Metalogic First-order logic TeX Substitution Theorem Formal system Logic Mathematics Mathematical logic
810	TUGboat, Volume[removed]), No[removed]ProofCheck: Writing and checking complete proofs in LATEX Add to Reading List Source URL: tug.org Language: English - Date: 2009-09-26 12:32:25 Logical syntax Automated theorem proving Proof theory Model theory Theorem Mathematical proof TeX First-order logic Unification Logic Mathematics Mathematical logic

UPDATE